Service-based Modeling of Cyber-Physical Automotive Systems: A Classification of Services
نویسندگان
چکیده
Systems of systems such as Smart Ecosystems, Cyber-Physical Systems, and the Internet of Things support flexible collaborations among heterogeneous participants with open interfaces. To assure safety in all possible collaboration scenarios, we introduced in previous work the ConSerts approach. This approach assumes that system interactions are captured via required and provided services. Considering the interaction between vehicles and infrastructure, this fundamental assumption is problematic as there is no commonly accepted approach for modeling these future Car-to-X scenarios. Existing modeling approaches in the automotive domain consider the realization of the functionality of one vehicle and typically have a functional, dataflow-oriented character. In this paper, we will derive a classification for services in order to contribute to the definition of our required service-based modeling of cyberphysical automotive systems. Keywords—automotive, Car-to-X, ConSerts, cyber-physical systems, safety, services
منابع مشابه
Modeling and Verifying Intelligent Automotive Cyber-Physical Systems∗
Exhaustive state space exploration based verification of cyber-physical system designs remains a challenge despite five decades of active research into formal verification. On the other hand, models of intelligent automotive cyber-physical systems continue to grow in complexity. The testing of intelligent automotive models often uses human subjects, is expensive, and can not be performed unless...
متن کاملAn Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design Position submitted to Auto - CPS 2010
1. The Challenge: Heterogeneous Models Automotive systems and other cyber-physical systems are designed and analyzed using a variety of modeling formalisms and tools. Each representation highlights certain features and occludes others to make analysis tractable and to focus on particular performance attributes. Typically a particular formalism represents either the cyber or the physical element...
متن کاملAn Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملCyber Threats Foresight Against Iran Based on Attack Vector
Cyber threats have been extraordinary increased in recent years. Cyber attackers, including government agencies or hackers, have made significant advances in the use of various tools for attacking target systems in some countries particularly on Islamic republic of Iran. The complexity of cyber threats and the devastating effects of them on critical systems highlights necessity of cyber thr...
متن کاملA Model-Based Approach to Dynamic Self-assessment for Automated Performance and Safety Awareness of Cyber-Physical Systems
Modern automotive vehicles represent one category of CPS (Cyber-Physical Systems) that are inherently timeand safety-critical. To justify the actions for quality-of-service adaptation and safety assurance, it is fundamental to perceive the uncertainties of system components in operation, which are caused by emergent properties, design or operation anomalies. From an industrial point of view, a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016